The Fruits of Logicism
نویسنده
چکیده
You’ll be pleased to know that I don’t intend to use these remarks to comment on all of the papers presented at this conference. I won’t try to show that one paper was right about this topic, that another was wrong was about that topic, or that several of our conference participants were talking past one another. Nor will I try to adjudicate any of the discussions which took place in between our sessions. Instead, I’ll use these remarks to make two simple points: one about logicism in the 20th century and one about neo-logicism here at the start of the 21st.
منابع مشابه
Logicism, interpretability, and Knowledge of Arithmetic
A crucial part of the contemporary interest in logicism in the philosophy of mathematics resides in its idea that arithmetical knowledge may be based on logical knowledge. Here an implementation of this idea is considered that holds that knowledge of arithmetical principles may be based on two things: (i) knowledge of logical principles and (ii) knowledge that the arithmetical principles are re...
متن کاملLogicism and the Development of Computer Science* Contents 1. Introduction 2. Philosophy of Mathematics in the Foundational Period 3. Logicism and Computer Science 4. How Computer Science Has Affected Logic 5. a Criticism of Logicism by Wittgenstein and Its Significance
This paper argues for the thesis that ideas originating in the philosophy of mathematics have proved very helpful for the development of computer science. In particular, logicism, the view that mathematics can be reduced to logic, was developed by Frege and Russell, long before computers were invented, and yet many of the ideas of logicism have been central to computer science. The paper attemp...
متن کاملRussell’s Logicism
Logicism is typically de ned as the thesis that mathematics reduces to, or is an extension of, logic. Exactly what “reduces” means here is not always made entirely clear. (More de nite articulations of logicism are explored in section 5 below.) While something like this thesis had been articulated by others (e.g., Dedekind 1888 and arguably Leibniz 1666), logicism only became a widespread subje...
متن کاملCarnap, Logicism, and Ontological Commitment1
Throughout most of his career, Rudolf Carnap attempted to articulate an empiricist view. Central to this project is the understanding of how empiricism can be made compatible with abstract objects that seem to be invoked in mathematics. In this paper, I discuss and critically evaluate three moves made by Carnap to accommodate mathematical talk within his empiricist program: (i) the “weak logici...
متن کاملWhat is neologicism?
Logicism is a thesis about the foundations of mathematics, roughly, that mathematics is derivable from logic alone. It is now widely accepted that the thesis is false and that the logicist program of the early 20th century was unsuccessful. Frege’s (1893/1903) system was inconsistent and the Whitehead and Russell (1910–13) system was not thought to be logic, given its axioms of infinity, reduci...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Notre Dame Journal of Formal Logic
دوره 41 شماره
صفحات -
تاریخ انتشار 2000